$\forall$$A$, $B$:Type, $b$:$B$, $a$:$A$. strong{-}subtype($A$;$B$) $\Rightarrow$ $b$ $=$ $a$ $\in$ $B$ $\Rightarrow$ $b$ $=$ $a$ $\in$ $A$